1. Advances in Intelligent Computing -- IPMU '94 :
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.
2. Algorithms and Model Formulations in Mathematical Programming
پدیدآورنده : edited by Stein W. Wallace.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Numerical analysis.
رده :
T57
.
7
E358
1989
3. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده : editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
4. Automatic parallelization :
پدیدآورنده : Christoph W. Kessler, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Codage.,Parallel processing (Electronic computers)
رده :
QA76
.
58
C475
1994
5. Building software for simulation
پدیدآورنده : James Nutaro
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer simulation,C]] (Computer program language)
رده :
QA
،
76
.
9
،.
C65
,
N88
،
2011
6. Building software for simulation
پدیدآورنده : / James Nutaro
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation,C++ (Computer program language)
رده :
QA76
.
9
.
C65
,
N88
2011
7. Building software for simulation
پدیدآورنده : / James Nutaro
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer simulation,C++ (Computer program language)
رده :
QA76
.
9
.
C65
,
N88
2011
8. Building software for simulation :
پدیدآورنده : James Nutaro
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C++ (Computer program language),Computer simulation
رده :
QA76
.
9
.
C65
N88
2011
9. C++ Toolbox for Verified Computing I :
پدیدآورنده : by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Global analysis (Mathematics),Mathematics.
رده :
QA76
.
73
.
C153
B985
1995
10. C programming :
پدیدآورنده : David R. Brooks.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C (Computer program language)
رده :
QA76
.
73
.
C15
D385
9999
11. COMPSTAT 1982 5th Symposium held at Toulouse 1982 :
پدیدآورنده : edited by H. Caussinus, P. Ettinger, R. Tomassone.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Statistics.
رده :
QA276
.
4
E358
1982
12. CONPAR 81 :
پدیدآورنده : edited by Wolfgang Händler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
13. Computational Physic
پدیدآورنده : / by Philipp O.J. Scherer
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Physics,Chemistry,Engineering mathematics,Electronic books
رده :
E-BOOK
14. Computational physics :
پدیدآورنده : Philipp O.J. Scherer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical physics.,Physics-- Data processing.,Astronomie.,Mathematical physics.,Physics-- Data processing.,Physique.
رده :
QC20
.
S34
2013
15. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
16. Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface
پدیدآورنده : edited by William F. Eddy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distribution (Probability theory).,Mathematics.,Statistics.
17. Computer algebra in scientific computing :
پدیدآورنده : Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
18. Computing for scientists and engineers :
پدیدآورنده : William J. Thompson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering-- Data processing.,Numerical analysis-- Data processing.,Science-- Data processing.
رده :
QA297
.
T5
1992
19. Conditio
پدیدآورنده : / by Peter B?╝rgisser, Felipe Cucker
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science,Computer science, Mathematics,Algorithms,Mathematical optimization,Distribution (Probability theory),Electronic books
رده :
E-BOOK
20. Delaunay mesh generation /
پدیدآورنده : Siu-Wing Cheng, Tamal Krishna Dey, Jonathan Richard Shewchuk
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Nets (Mathematics),Numerical grid generation (Numerical analysis),Triangulation
رده :
QA611
.
3
.
C43
2013
